Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
891	functional Programming in Ruby by Paul Barry What is Functional Programming? A programming paradigm that treats Add to Reading List Source URL: files.meetup.com Language: English - Date: 2010-04-12 14:29:51 Functional programming Lambda calculus Subroutines Higher-order functions Data types Partial application First-class function Currying Lazy evaluation Software engineering Declarative programming Computing
892	Computational Semantics in the Natural Language Toolkit Ewan Klein School of Informatics University of Edinburgh Scotland, UK [removed] Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2006-11-21 07:43:16 Model theory Predicate logic Semantics Quantification Philosophical logic First-order logic Interpretation Lambda calculus Function Logic Mathematical logic Mathematics
893	Decision Making under Uncertainty Worst-case Analysis & Expected Value Optimization Berç Rustem Imperial College London Add to Reading List Source URL: supernet.isenberg.umass.edu Language: English - Date: 2014-08-22 11:05:15 Spectral theory of ordinary differential equations Lambda calculus Operator theory Ordinary differential equations Spectral theory
894	USA Mathematical Talent Search Round 3 Solutions Year 21 — Academic Year 2009–2010 www.usamts.org[removed]Let ABCD be a convex quadrilateral with AC ⊥ BD, and let P be the intersection of AC and BD. Suppose that th Add to Reading List Source URL: www.usamts.org Language: English - Date: 2010-09-20 13:54:57 Factorial Number theory Lambda calculus Transcendental number Mathematics Combinatorics Integer sequences
895	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: osl.ugr.es Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
896	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ftp.heanet.ie Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
897	Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework Gabriel Dos Reis1 , David Matthews2 , and Yue Li1 1 Add to Reading List Source URL: paradise.caltech.edu Language: English - Date: 2014-05-18 16:53:02 Functional languages Procedural programming languages Standard ML ML Lambda calculus Function Axiom Valuation Type system Mathematics Programming language theory Software engineering
898	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirror.its.dal.ca Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
899	ums08h26homogeneousfunctions.dvi Add to Reading List Source URL: www.econ.ucsb.edu Language: English - Date: 2009-10-28 14:22:53 Lambda calculus Homogeneous function Linear algebra Spectral theory Combinatory logic Spectral theory of ordinary differential equations Mathematics Mathematical analysis Theoretical computer science
900	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: kambing.ui.ac.id Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic

UPDATE